翻訳と辞書 Words near each other ・ Neighborhood Music ・ Neighborhood News, Inc. ・ Neighborhood Newspaper Group ・ Neighborhood of Make-Believe ・ Neighborhood operation ・ Neighborhood parks ・ Neighborhood planning ・ Neighborhood planning unit ・ Neighborhood play ・ Neighborhood Playhouse School of the Theatre ・ Neighborhood Preservation Committee (Oregon) ・ Neighborhood Public Radio ・ Neighborhood Rapstar ・ Neighborhood rebranding in New York City ・ Neighborhood Records ・ Neighborhood semantics ・ Neighborhood Story ・ Neighborhood Supastar 3 ・ Neighborhood Supastarz ・ Neighborhood Texture Jam ・ Neighborhood theatre ・ Neighborhood Trust ・ Neighborhood watch ・ Neighborhood Watch (album) ・ Neighborhood Watch (band) ・ Neighborhood watch (disambiguation) ・ Neighborhood Watch (White Collar) ・ Neighborhoods (Blink-182 album) ・ Neighborhoods (Olu Dara album) ・ Neighborhoods and districts of San Antonio Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Neighborhood semantics ： ウィキペディア英語版 Neighborhood semantics Neighborhood semantics, also known as Scott-Montague semantics, is a formal semantics for modal logics. It is a generalization, developed independently by Dana Scott and Richard Montague, of the more widely known relational semantics for modal logic. Whereas a relational frame $\backslash langle\; W,R\backslash rangle$ consists of a set ''W'' of worlds (or states) and an accessibility relation ''R'' intended to indicate which worlds are alternatives to (or, accessible from) others, a neighborhood frame $\backslash langle\; W,N\backslash rangle$ still has a set ''W'' of worlds, but has instead of an accessibility relation a ''neighborhood function'' : $N\; :\; W\; \backslash to\; 2^$ that assigns to each element of ''W'' a set of subsets of ''W''. Intuitively, each family of subsets assigned to a world are the propositions necessary at that world, where 'proposition' is defined as a subset of ''W'' (i.e. the set of worlds at which the proposition is true). Specifically, if ''M'' is a model on the frame, then : $M,w\backslash models\backslash square\; A\; \backslash Longleftrightarrow\; (A)^M\; \backslash in\; N(w),$ where : $(A)^M\; =\; \backslash$ is the ''truth set'' of ''A''. Neighborhood semantics is used for the classical modal logics that are strictly weaker than the normal modal logic K. ==Correspondence between relational and neighborhood models== To every relational model M = (W,R,V) there corresponds an equivalent (in the sense of having point-wise equivalent modal theories) neighborhood model M' = (W,N,V) defined by : $N(w)\; =\; \backslash .$ The fact that the converse fails gives a precise sense to the remark that neighborhood models are a generalization of relational ones. Another (perhaps more natural) generalization of relational structures are general relational structures. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Neighborhood semantics」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.